Research on Basic Programming System of Computer Science Mobile APP Software Engineering

A Laboratory for Basic Research in Computer Science and Software Engineering

The State Key Laboratory of Computer Science is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing,...

Mathematics, Computer Science, Software Engineering

This paper examines three ideas: First, the traditional relationship between a science, the mathematics it uses and the engineering based on it. Second, the nature of (software) computer science, which may not be a science at all, and its unusual use of mathematics. And finally, the nature of software engineering, its relationship with computer science, and its use of mathematics called ‘formal...

BRICS Basic Research in Computer Science

Seeing beyond Computer Science and Software Engineering

The boundaries of computer science are defined by what symbolic computation can accomplish. Software Engineering is concerned with effective use of computing technology to support automatic computation on a large scale so as to construct desirable solutions to worthwhile problems. Both focus on what happens within the machine. In contrast, most practical applications of computing support end-us...

Research Challenges in Computer Science and Engineering

The modern era for computer science and engineering is now 50 years old. It’s been an exciting and dynamic time and the contributions that our field has made to society have been profound. As the field has matured, there is a growing sense of diminished possibilities. This is understandable. Certainly in the more mature parts of the field, there is less unexplored territory. The low-hanging fru...